Derivative arccot(x)